#include <types.h>
#include <kernel/system.h>
#include <kernel/initcall.h>
#include <drivers/irq.h>
#include <drivers/gpio.h>
#include <kernel/syslog.h>
#include <kernel/kobject.h>
#include <irqnum.h>
#include <drivers/uart.h>
#include <string.h>
#include <kernel/shell.h>
#include <stdio.h>
#include <kernel/fdt.h>
#include <resets.h>
#include <iomode.h>

void delay(int delay)
{
	for(volatile int i = 0; i<delay; i++)
		for(volatile int j=0;j<1000;j++);
}


#define LED  25


void main(void)
{
	int ret = gpio_request(LED);
	if(ret) {
		return;
	}

	// ret = gpio_request(26);
	// gpio_direction_output(26, 0);

	gpio_direction_output(LED, 0);

	while(1){
		shell_loop();
		
		gpio_set_value(LED, 1);
		delay(1000);
		gpio_set_value(LED, 0);
		delay(1000);
	}
}
